A Model Reduction Method for Parallel Software Testing
نویسندگان
چکیده
منابع مشابه
A Model Reduction Method for Parallel Software Testing
Modeling and testing for parallel software systems are very difficult, because the number of states and execution sequences expands significantly caused by parallel behaviors. In this paper, a model reduction method based on Coloured Petri Net (CPN) is shown, which could generate a functionality-equivalent and trace-equivalent model with smaller scale. Model-based testing for parallel software ...
متن کاملA method for determining testing scenarios for parallel and distributed software
In the paper we present a method for determining testing scenarios for parallel and distributed software. It is based on simulation of software behavior and combines static and dynamic analysis to provide a convenient framework for structural program testing. The underlying testing model consists of parallel program control ow structures including data processing nodes, decision nodes, communic...
متن کاملParallel testing of distributed software
The paper presents the experience of the use of parallel computing technologies to accelerate the testing of a complex distributed programming system such as Orbix 3, which is IONA’s implementation of the CORBA 2.1 standard. The design and implementation of the parallel testing system are described in detail. Experimental results proving the high efficiency of the system are given. q 2004 Elsev...
متن کاملAn Efficient Method for Model Reduction in Diffuse Optical Tomography
We present an efficient method for the reduction of model equations in the linearized diffuse optical tomography (DOT) problem. We first implement the maximum a posteriori (MAP) estimator and Tikhonov regularization, which are based on applying preconditioners to linear perturbation equations. For model reduction, the precondition is split into two parts: the principal components are consid...
متن کاملA New Reliable Controller Placement Model for Software-Defined WANs
Software-Defined Network (SDNs) is a decoupled architecture that enables administrators to build a customizable and manageable network. Although the decoupled control plane provides flexible management and facilitates the task of operating the network, it is the vulnerable point of failure in SDN. To achieve a reliable control plane, multiple controller are often needed so that each switch must...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Mathematics
سال: 2013
ISSN: 1110-757X,1687-0042
DOI: 10.1155/2013/595897